Complexity Classifications for Logic-Based Argumentation
نویسندگان
چکیده
منابع مشابه
Complexity of logic-based argumentation in Post's framework
Complexity of logic-based argumentation in Post's framework Nadia Creignou a , Johannes Schmidt a , Michael Thomas b & Stefan Woltran c a LIF, UMR CNRS 6166, Aix-Marseille Université, 163 Avenue de Luminy, 13288, Marseille Cedex 9, France b TWT GmbH, Bernhäuser Straße 40–42, 73765, Neuhausen a.d.F., Germany c Institut für Informationssysteme E184/2, Technische Universität Wien, Favoritenstr. 9–...
متن کاملPostulates for logic-based argumentation systems
Logic-based argumentation systems are developed for reasoning with inconsistentinformation. Starting from a knowledge base encoded in a logical language, theydefine arguments and attacks between them using the consequence operator asso-ciated with the language. Finally, a semantics is used for evaluating the arguments. In this paper, we focus on systems that are based on deducti...
متن کاملEquivalence in logic-based argumentation
This paper investigates when two abstract logic-based argumentation systems are equivalent. It defines various equivalence criteria, investigates the links between them, and identifies cases where two systems are equivalent with respect to each of the proposed criteria. In particular, it shows that under some reasonable conditions on the logic underlying an argumentation system, the latter has ...
متن کاملArgumentation Based on Classical Logic
Argumentation is an important cognitive process for dealing with conflicting information by generating and/or comparing arguments. Often it is based on constructing and comparing deductive arguments. These are arguments that involve some premises (which we refer to as the support of the argument) and a conclusion (which we refer to as the claim of the argument) such that the support deductively...
متن کاملProperties and Complexity in Feasible Logic-Based Argumentation for Electronic Commerce
Logic-Based Argumentation (LBA) exhibits unique properties and advantages over other kinds of argumentation procedures, amongst them: the adequacy to logic-based pre-argument reasoning, similarity to the human reasoning process, reasoning with incomplete information and argument composition and extension. Logic enables a formal speci cation to be built and a quick prototype to be developed. In ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Computational Logic
سال: 2014
ISSN: 1529-3785,1557-945X
DOI: 10.1145/2629421